The MIPS APM scoring standard

Nondeterminism in the APM methodology

This paper looks at the issues involved in incorporating nondetermin-ism into functional languages and particularly in representing the nonde-terminacy which may arise in representing parallel programs in a functional language. It presents an implementation which does so without breaking the ability to perform equational reasoning, and shows how it may be incorporated into the APM (Abstract Par...

APM Cluster

We describe the construction of catalogues of galaxy clusters from the APM Galaxy survey using an automated algorithm based on Abell-like selection criteria. We investigate the eeects of varying several parameters in our selection algorithm, including the magnitude range, and radius from the cluster centre used to estimate the cluster richnesses. We quantify the accuracy of the photometric dist...

The APM Bright Galaxy Catalogue

The APM Bright Galaxy Catalogue lists positions, magnitudes, shapes and morphological types for 14,681 galaxies brighter than bJ magnitude 16.44 over a 4,180 square degree area of the southern sky. Galaxy and stellar images have been located from glass copy plates of the United Kingdom Schmidt Telescope (UKST) IIIaJ sky survey using the Automated Photographic Measuring (APM) facility in Cambrid...

Mips At

In this document we describe the technique used to configure the sequential portfolios submitted to the 2013 SAT Competition. We have submitted eight portfolios to the core solvers and sequential (SAT and SAT+UNSAT) tracks and one to the open track accounting for nine different portfolios in total.

The MIPS architecture and virtualization